class Foo {
  void m(int i) {
    i.reqnonnull
  }
}